Case-Study for TeamLog, a Theory of Teamwork

This article presents a case-study of a theoretical multi-agent system designed to clean up ecological disasters. It focuses on the interactions within a team of agents, outlines their goals, and establishes the necessary distribution of knowledge and commitment throughout the team. In addition, cooperation between teams is treated. These aspects of teamwork are presented in the TEAMLOG formalism. We will show how to make a bridge between theoretical foundations of a BDI system and a real application. Complex team attitudes are justified to be necessary in the course of teamwork. At the same time we show how to establish them on a sufficient, but still minimal level.